Nuprl Definition : weighted-sum
11,40
postcript
pdf
weighted-sum(
p
;
F
) ==
0
i
< ||
p
||. (
F
(
i
)) *
p
[
i
]
latex
Definitions
a
j
<
b
.
E
(
j
)
,
#$n
,
||
as
||
,
r
*
s
,
f
(
a
)
,
l
[
i
]
FDL editor aliases
weighted-sum
origin